Model-based Control Synthesis for Discrete Event Systems
نویسندگان
چکیده
In control engineering models of the controlled systems are the basis for controller synthesis as well as for analytical or simulative examination of open or closed-loop behaviour. This model-based methodology is being transferred into automation engineering by means of a development environment for the programming of logical controllers. Petri net models of the controlled system allow an automatic computation of the control algorithm. The control algorithms which are equally represented as Petri nets are then automatically translated into code for programmable logic controllers (PLC’s).
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملModel Aggregation for Hierarchical Control Synthesis of Discrete Event Systems
A model aggregation approach is developed for discrete event systems described by condition/event automata, a class of condition/event systems. It is based on input-output equivalence of the systems. With the approach, a higher level model of a plant in the hierarchical control synthesis of discrete event systems can be derived from a lower level model by hiding insignificant states and events ...
متن کاملAn analytical model based on simulation aiming to improve patient flow in a hospital surgical suite
Surgical suits allocate a large amount of expenses to hospitals; on the other hand, they constitute a huge part of hospital revenues. Patient flow optimization in a surgical suite by omitting or reducing bottlenecks which cause loss of time is one of the key solutions in minimizing the patients’ length of stay[1] (LOS) in the system, lowering the expenses, increasing efficiency, and also enhanc...
متن کاملProductivity Improvement of BOB T-shirt through Line Balancing Using Control Limit analysis and discrete event simulation (Case study: - MAA Garment and Textile Factory)
This study deals with line balancing of BOB T-shirt model with the help of control limit analysis and discrete event simulation of the assembly lines. In this study control limit analysis is used to measure the performance of the assembly line and used to show the bottleneck operations of the assembly line and line balancing technique improves the productivity of the sewing line of the model. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998